Formal Methods for Dynamic Power Management

نویسندگان

  • Rajesh K. Gupta
  • Sandy Irani
  • Sandeep K. Shukla
چکیده

! " $#% '&( ' ) '*+ -, " .+/ 0 #

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

One of the major issues in the design of a mobile computing device is reducing its power consumption. A commonly used technique is the adoption of a dynamic power management policy, which modifies the power consumption of the device based on certain run time conditions. The introduction of the dynamic power management within a battery-powered device may not be transparent, as it may alter the o...

متن کامل

Probabilistic Model Checking and Power-Aware Computing∗

Power-aware computing aims either to maximise the performance of a system under certain constraints on its power consumption and dissipation or, dually, to reduce power consumption in order to meet desired performance or throughput targets. This area is currently gaining importance due to the increasing usage of portable, mobile and hand-held electronic devices. In this paper we illustrate the ...

متن کامل

Proposed Feature Selection for Dynamic Thermal Management in Multicore Systems

Increasing the number of cores in order to the demand of more computing power has led to increasing the processor temperature of a multi-core system. One of the main approaches for reducing temperature is the dynamic thermal management techniques. These methods divided into two classes, reactive and proactive. Proactive methods manage the processor temperature, by forecasting the temperature be...

متن کامل

Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification

In this paper, the authors present a formal specification of a novel design paradigm, hierarchical agent monitored SoCs (HAMSOC). The paradigm motivates dynamic monitoring in a hierarchical and distributed manner, with adaptive agents embedded for local and global operations. Formal methods are of essential importance to the development of such a novel and complex platform. As the initial effor...

متن کامل

Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems

Motivated by the transition from federated to integrated architectures in aerial vehicles, we propose an automated methodology for the synthesis of correct-by-construction control protocols for vehicle management systems. We use linear temporal logic as the specification language for precisely describing correct behaviors of the system as well as the admissible dynamic behavior of the environme...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003